Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
251	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
252	Technical Report TRModel summary report for the safety assessment SR-Site Add to Reading List Source URL: www.skb.se Language: English - Date: 2015-05-27 04:50:01 Computational science Software engineering Verification Science Computer simulation C Computing Procedural programming languages Systems engineering
253	Abstract Runtime Monitoring with USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-01-27 03:50:41 Unified Modeling Language Formal methods Java platform Knowledge representation Object Constraint Language ECO KeY Runtime verification Software development process Computing Software Cross-platform software
254	INDEPENDENT TESTING AND VERIFICATION OF SOFTWARE INTSOK Road show May 2014 Håvard Røsvik International Sales Manager Add to Reading List Source URL: www.intsok.com Language: English - Date: 1969-12-31 19:00:00 Science Robotics Systems science Structure Cybernetics Control theory Systems
255	Computational Monte Carlo Verification Andrew Davis CCFE is the fusion research arm of the United Kingdom Atomic Energy Authority Add to Reading List Source URL: www.ccfe.ac.uk Language: English - Date: 2012-01-26 06:21:05 Monte Carlo software Monte Carlo N-Particle Transport Code Neutron transport FLUKA GEANT Physics Nuclear safety Nuclear technology
256	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering
257	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Computing Postcondition Design by contract Abstract interpretation Programming language Formal verification Precondition Class Software engineering Theoretical computer science Logic in computer science
258	Document Ref : MED-SOC-DPQ-001 Issue Date : 26 april 2005 Issue : B Add to Reading List Source URL: due.esrin.esa.int Language: English - Date: 2015-04-29 08:48:05 Systems science Acceptance testing Ghrsst-pp Quality assurance Reliability engineering CNR Verification and validation Systems engineering process Validation Systems engineering Technology Software
259	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
260	Corporate and Product Overview Real Intent is the leading provider of EDA software to accelerate Early Functional Verification and Advanced Sign-off of digital designs. It provides comprehensive clock-domain crossing ve Add to Reading List Source URL: realintent.com Language: English - Date: 2014-09-10 13:14:55 Electronic design Hardware verification languages Logic design Logic simulation Functional verification Design closure E Formal verification Application-specific integrated circuit Electronic engineering Digital electronics Electronic design automation

UPDATE